hvm: Print bad DFR value for vlapic if a bad value is detected.
authorkfraser@localhost.localdomain <kfraser@localhost.localdomain>
Wed, 14 Mar 2007 11:22:59 +0000 (11:22 +0000)
committerkfraser@localhost.localdomain <kfraser@localhost.localdomain>
Wed, 14 Mar 2007 11:22:59 +0000 (11:22 +0000)
Signed-off-by: Keir Fraser <keir@xensource.com>
xen/arch/x86/hvm/vlapic.c

index 2cc294ba361cde88264e54cd69f64f3e0ae1fe4e..af2d0bbe448f4aec6e5c64070371c9815fa2b611 100644 (file)
@@ -195,8 +195,9 @@ int vlapic_match_logical_addr(struct vlapic *vlapic, uint8_t mda)
             result = 1;
         break;
     default:
-        gdprintk(XENLOG_WARNING, "Bad DFR value for lapic of vcpu %d\n",
-                 vlapic_vcpu(vlapic)->vcpu_id);
+        gdprintk(XENLOG_WARNING, "Bad DFR value for lapic of vcpu %d: %08x\n",
+                 vlapic_vcpu(vlapic)->vcpu_id,
+                 vlapic_get_reg(vlapic, APIC_DFR));
         break;
     }